55 ideas
| 6979 | Serious metaphysics cares about entailment between sentences [Jackson] |
| 6983 | Intuitions about possibilities are basic to conceptual analysis [Jackson] |
| 6980 | Conceptual analysis studies whether one story is made true by another story [Jackson] |
| 14707 | Conceptual analysis is needed to establish that metaphysical reductions respect original meanings [Jackson, by Schroeter] |
| 7005 | Something can only have a place in a preferred account of things if it is entailed by the account [Jackson] |
| 6994 | Truth supervenes on being [Jackson] |
| 9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
| 9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
| 9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
| 9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
| 9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
| 9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
| 9677 | Φ indicates the empty set, which has no members [Priest,G] |
| 9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
| 9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
| 9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
| 9681 | X = Y means the set X equals the set Y [Priest,G] |
| 9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
| 9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
| 9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
| 9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
| 9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
| 9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
| 9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
| 9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
| 9686 | A 'set' is a collection of objects [Priest,G] |
| 9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
| 9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
| 9688 | A 'singleton' is a set with only one member [Priest,G] |
| 9689 | The 'empty set' or 'null set' has no members [Priest,G] |
| 9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
| 9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
| 9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
| 6984 | Smooth reductions preserve high-level laws in the lower level [Jackson] |
| 6978 | Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson] |
| 6993 | Redness is a property, but only as a presentation to normal humans [Jackson] |
| 6987 | We should not multiply senses of necessity beyond necessity [Jackson] |
| 6988 | Mathematical sentences are a problem in a possible-worlds framework [Jackson] |
| 6975 | Possible worlds could be concrete, abstract, universals, sentences, or properties [Jackson] |
| 21971 | Transcendental philosophy is the subject becoming the originator of unified reality [Kant] |
| 6982 | Long arithmetic calculations show the a priori can be fallible [Jackson] |
| 6991 | We examine objects to determine colour; we do not introspect [Jackson] |
| 6976 | In physicalism, the psychological depends on the physical, not the other way around [Jackson] |
| 6986 | Is the dependence of the psychological on the physical a priori or a posteriori? [Jackson] |
| 6992 | If different states can fulfil the same role, the converse must also be possible [Jackson] |
| 6996 | Folk psychology covers input, internal role, and output [Jackson] |
| 6977 | Egocentric or de se content seems to be irreducibly so [Jackson] |
| 6990 | Keep distinct the essential properties of water, and application conditions for the word 'water' [Jackson] |
| 6985 | Analysis is finding necessary and sufficient conditions by studying possible cases [Jackson] |
| 6995 | Successful predication supervenes on nature [Jackson] |
| 6989 | I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson] |
| 6998 | Folk morality does not clearly distinguish between doing and allowing [Jackson] |
| 6997 | Moral functionalism says moral terms get their meaning from their role in folk morality [Jackson] |
| 7000 | Which are prior - thin concepts like right, good, ought; or thick concepts like kindness, equity etc.? [Jackson] |
| 6999 | It is hard to justify the huge difference in our judgements of abortion and infanticide [Jackson] |